Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 1782 results
Sort by: relevance publication year

Multi-threaded Graph Partitioning

PROCEEDINGS ARTICLE published May 2013 in 2013 IEEE 27th International Symposium on Parallel and Distributed Processing

Authors: Dominique Lasalle | George Karypis

https://doi.org/10.1109/ipdps.2013.50 Actions

Verifying multi-threaded software with impact

PROCEEDINGS ARTICLE published October 2013 in 2013 Formal Methods in Computer-Aided Design

Authors: Bjorn Wachter | Daniel Kroening | Joel Ouaknine

https://doi.org/10.1109/fmcad.2013.6679412 Actions

Improving bug localization using correlations in crash reports

PROCEEDINGS ARTICLE published May 2013 in 2013 10th Working Conference on Mining Software Repositories (MSR)

Authors: Shaohua Wang | Foutse Khomh | Ying Zou

https://doi.org/10.1109/msr.2013.6624036 Actions

Assisting code search with automatic Query Reformulation for bug localization

PROCEEDINGS ARTICLE published May 2013 in 2013 10th Working Conference on Mining Software Repositories (MSR)

Authors: Bunyamin Sisman | Avinash C. Kak

https://doi.org/10.1109/msr.2013.6624044 Actions

External Evaluation of Topic Models: A Graph Mining Approach

PROCEEDINGS ARTICLE published December 2013 in 2013 IEEE 13th International Conference on Data Mining

Authors: Hau Chan | Leman Akoglu

https://doi.org/10.1109/icdm.2013.112 Actions

Multi-instance Multi-graph Dual Embedding Learning

PROCEEDINGS ARTICLE published December 2013 in 2013 IEEE 13th International Conference on Data Mining

Authors: Jia Wu | Xingquan Zhu | Chengqi Zhang | Zhihua Cai

https://doi.org/10.1109/icdm.2013.121 Actions

Multiple-Bug Oriented Fault Localization: A Parameter-Based Combination Approach

PROCEEDINGS ARTICLE published June 2013 in 2013 IEEE Seventh International Conference on Software Security and Reliability Companion

Authors: Zheng Wei | Bai Han

https://doi.org/10.1109/sere-c.2013.18 Actions

A contextual approach towards more accurate duplicate bug report detection

PROCEEDINGS ARTICLE published May 2013 in 2013 10th Working Conference on Mining Software Repositories (MSR)

Authors: Anahita Alipour | Abram Hindle | Eleni Stroulia

https://doi.org/10.1109/msr.2013.6624026 Actions

A graph-partitioning-based approach for multi-layer constrained via minimization

PROCEEDINGS ARTICLE published 1998 in Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design - ICCAD '98

Authors: Yih-Chih Chou | Youn-Long Lin

https://doi.org/10.1145/288548.289065 Actions

Sparse iterative adaptive approach with application to source localization

PROCEEDINGS ARTICLE published December 2013 in 2013 5th IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP)

Authors: William Rowe | Jian Li | Petre Stoica

https://doi.org/10.1109/camsap.2013.6714041 Actions

A Call Graph Mining and Matching Based Defect Localization Technique

PROCEEDINGS ARTICLE published March 2013 in 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops

Authors: Anis Yousefi | Alan Wassyng

https://doi.org/10.1109/icstw.2013.17 Actions

FaLoFiN: a Hardware Fault Localization Approach via Filtering Nondeterminacy

JOURNAL ARTICLE published 6 August 2010 in Journal of Computer-Aided Design & Computer Graphics

Authors: Yansong Zheng | Dong Tong | Hao Li | Keyi Wang | Xu Cheng

https://doi.org/10.3724/sp.j.1089.2010.10902 Actions

A weighted least squares approach for multi-target Doppler-only localization

PROCEEDINGS ARTICLE published April 2013 in 2013 IEEE Radar Conference (RadarCon13)

Authors: Mauro Caruso | Pierfrancesco Lombardo | Matteo Sedehi

https://doi.org/10.1109/radar.2013.6586119 Actions

A graph-partitioning-based approach for multi-layer Constrained Via Minimization

PROCEEDINGS ARTICLE published in 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287)

https://doi.org/10.1109/iccad.1998.742908 Actions

A multi-threaded algorithm for computing the largest non-colliding moving geometry

JOURNAL ARTICLE published April 2014 in Computer-Aided Design

Authors: Evan Shellshear | Sebastian Tafuri | Johan Carlson

https://doi.org/10.1016/j.cad.2013.12.001 Actions

Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization

BOOK CHAPTER published 2014 in Computer Aided Verification

Authors: Omar Inverso | Ermenegildo Tomasco | Bernd Fischer | Salvatore La Torre | Gennaro Parlato

https://doi.org/10.1007/978-3-319-08867-9_39 Actions

Benefits of a Parallelization of a Stand-Alone Desktop .NET Application Threaded Instance Methods

BOOK CHAPTER published 2014 in Mechatronics 2013

Authors: I. Košťál

https://doi.org/10.1007/978-3-319-02294-9_27 Actions

A Tolerance Graph Approach for Domain-Specific Assembly of Next Generation Sequencing Data

PROCEEDINGS ARTICLE published December 2013 in 2013 IEEE 13th International Conference on Data Mining Workshops

Authors: Julia Warnke | Hesham Ali

https://doi.org/10.1109/icdmw.2013.105 Actions

Energy-efficient server consolidation for multi-threaded applications in the cloud

PROCEEDINGS ARTICLE published June 2013 in 2013 International Green Computing Conference Proceedings

Authors: Can Hankendi | Ayse K. Coskun

https://doi.org/10.1109/igcc.2013.6604517 Actions

Modeling multi-agent system dynamics: Graph semantic based approach

PROCEEDINGS ARTICLE published July 2013 in 2013 10th International Conference on Service Systems and Service Management

Authors: Anirban Sarkar

https://doi.org/10.1109/icsssm.2013.6602497 Actions
Feedback: support@crossref.org